#include <stdio.h>

#ifndef __GTKIPV6_EDITOR
#define __GTKIPV6_EDITOR

#define DEBUG

void edit_config_file();
void save_config();
void setserv( GtkWidget *widget, gpointer data);

#endif
